Section: Partnerships and Cooperations

International Initiatives

• Title: Protecting privacy while preserving data access

• Inria principal investigator: Catuscia Palamidessi

• International Partners:

  • Geoffrey Smith, Florida International University (United States)

  • Andre Scedrov, University of Pennsylvania (United States)

• Duration: 2013 - 2016

• URL: http://www.lix.polytechnique.fr/comete/Projects/Princess/

• Abstract: PRINCESS is an Inria associated team focusing on the protection of privacy and confidential information. In particular, we study the issues related to the leakage of confidential information through public observables.

  We aim at developing a meaningful notion of measure in order to quantify the leakage of information, and to design mechanisms to limit the amount of leakage, without interfering too severely with the utility of the information that is meant to be disclosed.

  The main topics currently investigated are quantitative information flow, where we are developing a decision-theoretic approach, and differential privacy, where we are developing an extension which lifts the basic notion of privacy meant for databases to arbitrary domains.

• Charles Carroll Morgan, Professor, University of New South Wales

• Moreno Falaschi, Professor, University of Siena

• Mario Ferreira Alvim Junior, Assistant Professor, Federal University of Minas Gerais

• Annabelle Mciver, Associate Professor, Macquarie University

• Carlos Olarte, Associate Professor, Universidad Javeriana Cali

Program: ANR Blanc International

Project title: Beyond plain Processes: Analysis techniques, Coinduction and Expressiveness

Duration: January 2013 - December 2016

URL: http://perso.ens-lyon.fr/daniel.hirschkoff/pace/

Coordinator: Daniel Hirschkoff , Ecole Normale Supérieure de Lyon

Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay. Davide Sangiorgi, University of Bologna (Italy). Yuxi Fu, Shanghai Jiao Tong University (China).

Abstract: This project objective is to enrich and adapt these methods, techniques, and tools to much broader forms of interactive models, well beyond the realm of "traditional" processes.

Program: ANR Blanc International

Project title: Logical Approach to Novel Computational Paradigms

Duration: October 2011 - September 2015

URL: http://lcs.ios.ac.cn/~locali2013/

Coordinator: Gilles Dowek, Inria Rocquencourt

Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay. Thomas Erhard, Paris VII. Ying Jiang , Chinese Academy of Science in Beijin (China).

Abstract: This project aims at exploring the interplays between logic and sequential/distributed computation in formalisms like the lambda calculus and the $\pi$ calculus. Going back to the fundamentals of the definitions of these calculi, the project plans to design new programming languages and proof systems via a logical approach.